Inferencia de tipos — Los tipos de inferencia es una característica predominante de los lenguajes de programación funcionales tales como ML, Haskell, C#, Vala y Ocaml. La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el … Wikipedia Español
Tipos anónimos — Saltar a navegación, búsqueda Los tipos anónimos son una característica del lenguaje de programación C# 3.0 que permite crear implícitamente campos con nombre desde el código que lo requiere. Esta es una importante característica para el Lenguaje … Wikipedia Español
Inferencia — Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las… … Wikipedia Español
Sistema de tipos — El texto que sigue es una traducción defectuosa o incompleta. Si quieres colaborar con Wikipedia, busca el artículo original y mejora o finaliza esta traducción. Puedes dar aviso al autor principal del artículo pegando el siguiente código en su… … Wikipedia Español
Lenguaje de programación — Captura de la microcomputadora Commodore PET 32 mostrando un programa en el lenguaje de programación BASIC, bajo el emulador VICE en una distribución GNU/Linux. Un lenguaje de programación es un idioma artificial diseñado para expresar… … Wikipedia Español
F Sharp — Saltar a navegación, búsqueda F# Paradigma: multiparadigma, funcional, imperativo, orientado a objetos Apareció en: 2002 Diseñado por: Microsoft Research Última versión: 1.9.6.0 (29 de agosto … Wikipedia Español
Tipo de dato anónimo — Los tipos anónimos son una característica del lenguaje de programación C# 3.0 que permite crear implícitamente campos con nombre desde el código que lo requiere. Esta es una importante característica para el Lenguaje integrado de consultas LINQ… … Wikipedia Español
Meta Lenguaje — ML Información general Paradigma multiparadigma: imperativo, funcional Apareció en 1973 Diseñado por Robin Milner y otros en la Universidad de Edimburgo … Wikipedia Español
Boo (informática) — Saltar a navegación, búsqueda Boo Paradigma: Orientado a objetos Apareció en: 2004 Última versión: 0.8.0 (25 de octubre 2007) Influido por: C#, Python … Wikipedia Español
Ocaml — El lenguaje Objective CAML, también llamado Ocaml u O Caml, es un lenguaje de programación avanzado de la familia de los lenguajes ML, desarrollado y distribuido por el INRIA en Francia. Ocaml admite los paradigmas de programación imperativa,… … Wikipedia Español
